Separation Classes of Equilogical Spaces

نویسنده

  • Reinhold Heckmann
چکیده

The category TOP of topological spaces is not cartesian closed, but can be embedded into the cartesian closed category ASSM of assemblies over algebraic lattices, which is a generalisation of Scott's category EQU of equilogical spaces. In this paper, we identify cartesian closed subcategories of assemblies which correspond to well-known separation properties of topology: T 0 ,

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces

There are two main approaches to obtaining “topological” cartesian-closed categories. Under one approach, one restricts to a full subcategory of topological spaces that happens to be cartesian closed — for example, the category of sequential spaces. Under the other, one generalises the notion of space — for example, to Scott’s notion of equilogical space. In this paper we show that the two appr...

متن کامل

Equilogical Spaces, Homology and Noncommutative Geometry ( * )

After introducing singular homology for D. Scott's equilogical spaces [Sc], we show how these structures can express 'formal quotients' of topological spaces, which do not exist as ordinary spaces and are related with well-known noncommutative C*-algebras. This study also uses a wider notion of local maps between equilogical spaces, which might be of interest for the general theory of the latte...

متن کامل

The Largest Topological Subcategory of Countably-based Equilogical Spaces

There are two main approaches to obtaining \topological" cartesian-closed categories. Under one approach, one restricts to a full subcategory of topological spaces that happens to be cartesian closed | for example, the category of sequential spaces. Under the other, one generalises the notion of space | for example, to Scott's notion of equilogical space. In this paper we show that the two appr...

متن کامل

Inequilogical spaces, directed homology and noncommutative geometry (*)

We introduce a preordered version of D. Scott's equilogical spaces [Sc], called inequilogical spaces, as a possible setting for Directed Algebraic Topology. The new structure can also express 'formal quotients' of spaces, which are not topological spaces and are of interest in noncommutative geometry, with finer results than the ones obtained with equilogical spaces, in a previous paper. This s...

متن کامل

Continuous Functionals of Dependent Types and Equilogical Spaces

We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent products in equilogical spaces, and thus also in the realizability topos RT(Pω).

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999